KI 2005 : advances in artificial intelligence (Koblenz, 11-14 September 2005)Furbach, Ulrich.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-28761-2, XIII, 408 p, isbn 3-540-28761-2Conference Proceedings

Automated reasoning (Third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006)Furbach, Ulrich; Shankar, Natarajan.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-37187-7, 1Vol, XV-680 p, isbn 3-540-37187-7Conference Proceedings

New stability results for delayed neural networksQIANG ZHANG.Lecture notes in computer science. 2005, pp 216-221, issn 0302-9743, isbn 3-540-28761-2, 6 p.Conference Paper

Controlled reachability analysis in AI planning : Theory and practiceZEMALI, Yacine.Lecture notes in computer science. 2005, pp 264-278, issn 0302-9743, isbn 3-540-28761-2, 15 p.Conference Paper

Why is the lucas-penrose argument invalid?KERBER, Manfred.Lecture notes in computer science. 2005, pp 380-393, issn 0302-9743, isbn 3-540-28761-2, 14 p.Conference Paper

Self-sustained thought processes in a dense associative networkGROS, Claudius.Lecture notes in computer science. 2005, pp 366-379, issn 0302-9743, isbn 3-540-28761-2, 14 p.Conference Paper

Dynamic logic with non-rigid functions a basis for object-oriented program verificationBECKERT, Bernhard; PLATZER, André.Lecture notes in computer science. 2006, pp 266-280, issn 0302-9743, isbn 3-540-37187-7, 1Vol, 15 p.Conference Paper

Importing HOL into Isabelle/HOLOBUA, Steven; SKALBERG, Sebastian.Lecture notes in computer science. 2006, pp 298-302, issn 0302-9743, isbn 3-540-37187-7, 1Vol, 5 p.Conference Paper

Interpolation in local theory extensionsSOFRONIE-STOKKERMANS, Viorica.Lecture notes in computer science. 2006, pp 235-250, issn 0302-9743, isbn 3-540-37187-7, 1Vol, 16 p.Conference Paper

Neuro-Fuzzy Kolmogorov's network for time series prediction and pattern classificationBODYANSKIY, Yevgeniy; KOLODYAZHNIY, Vitaliy; OTTO, Peter et al.Lecture notes in computer science. 2005, pp 191-202, issn 0302-9743, isbn 3-540-28761-2, 12 p.Conference Paper

Canonical gentzen-type calculi with (n,k)-ary quantifiersZAMANSKY, Anna; AVRON, Arnon.Lecture notes in computer science. 2006, pp 251-265, issn 0302-9743, isbn 3-540-37187-7, 1Vol, 15 p.Conference Paper

First-order logic with dependent typesRABE, Florian.Lecture notes in computer science. 2006, pp 377-391, issn 0302-9743, isbn 3-540-37187-7, 1Vol, 15 p.Conference Paper

The mathserve system for semantic web reasoning servicesZIMMER, Jürgen; AUTEXIER, Serge.Lecture notes in computer science. 2006, pp 140-144, issn 0302-9743, isbn 3-540-37187-7, 1Vol, 5 p.Conference Paper

On keys and functional dependencies as first-class citizens in description logicsTOMAN, David; WEDDELL, Grant.Lecture notes in computer science. 2006, pp 647-661, issn 0302-9743, isbn 3-540-37187-7, 1Vol, 15 p.Conference Paper

Presburger modal logic is PSPACE-completeDEMRI, Stéphane; LUGIEZ, Denis.Lecture notes in computer science. 2006, pp 541-556, issn 0302-9743, isbn 3-540-37187-7, 1Vol, 16 p.Conference Paper

Proving formally the implementation of an efficient gcd algorithm for polynomialsMAHBOUBI, Assia.Lecture notes in computer science. 2006, pp 438-452, issn 0302-9743, isbn 3-540-37187-7, 1Vol, 15 p.Conference Paper

Distributed multi-robot localization based on mutual path detectionAMIRANASHVILI, Vazha; LAKEMEYER, Gerhard.Lecture notes in computer science. 2005, pp 279-290, issn 0302-9743, isbn 3-540-28761-2, 12 p.Conference Paper

Automatic abstraction of time-varying system models for model based diagnosisTORASSO, Pietro; TORTA, Gianluca.Lecture notes in computer science. 2005, pp 176-190, issn 0302-9743, isbn 3-540-28761-2, 15 p.Conference Paper

A powerful technique to eliminate isomorphism in finite model searchXIANGXUE JIA; JIAN ZHANG.Lecture notes in computer science. 2006, pp 318-331, issn 0302-9743, isbn 3-540-37187-7, 1Vol, 14 p.Conference Paper

Combining type theory and untyped set theoryBROWN, Chad E.Lecture notes in computer science. 2006, pp 205-219, issn 0302-9743, isbn 3-540-37187-7, 1Vol, 15 p.Conference Paper

Searching while keeping a trace : The evolution from satisfiability to knowledge compilationDARWICHE, Adnan.Lecture notes in computer science. 2006, pp 4-20, issn 0302-9743, isbn 3-540-37187-7, 1Vol, 17 p.Conference Paper

System description : GCLCprover geothmsJANICIC, Predrag; QUARESMA, Pedro.Lecture notes in computer science. 2006, pp 145-150, issn 0302-9743, isbn 3-540-37187-7, 1Vol, 6 p.Conference Paper

Pitfalls of a full floating-point proof : Example on the formal proof of the veltkamp/dekker algorithmsBOLDO, Sylvie.Lecture notes in computer science. 2006, pp 52-66, issn 0302-9743, isbn 3-540-37187-7, 1Vol, 15 p.Conference Paper

Towards self-verification of HOL lightHARRISON, John.Lecture notes in computer science. 2006, pp 177-191, issn 0302-9743, isbn 3-540-37187-7, 1Vol, 15 p.Conference Paper

On utilizing stochastic learning weak estimators for training and classification of patterns with non-stationary distributionsOOMMEN, B. John; RUEDA, Luis.Lecture notes in computer science. 2005, pp 107-120, issn 0302-9743, isbn 3-540-28761-2, 14 p.Conference Paper